Higher order Rab programming in phagolysosome biogenesis

Higher order Rab programming in phagolysosome biogenesis

Phagosomes offer kinetically and morphologically tractable organelles to dissect the control of phagolysosome biogenesis by Rab GTPases. Model phagosomes harboring latex beads undergo a coordinated Rab5-Rab7 exchange, which is akin to the process of endosomal Rab conversion, the control mechanisms of which are unknown. In the process of blocking phagosomal maturation, the intracellular pathogen...

Higher Order Imperative Programming

It is argued that a programming style based on higher order techniques the use of procedures that have other procedures as arguments and or results can be most e ectively employed if it is driven by abstraction from real algorithms rather than attempting to work with a xed set of functional forms and the use of imperative forms and mutative procedures is permitted even encour aged rather than r...

Higher-Order Logic Programming

Higher-order Multidimensional Programming

We present a higher-order functional language in which variables define arbitrary-dimensional entities, where any atomic value may be used as a dimension, and a multidimensional runtime context is used to index the variables. We give an intuitive presentation of the language, present the denotational semantics, and demonstrate how function applications over these potentially infinite data struc...

Higher-Order Multiset Programming

Gamma is a kernel language in which programs are described in terms of multiset transformations following the chemical reaction metaphor. Previous work has demonstrated its signiicance for the construction of massively parallel programs but also highlighted some limitations. We introduce a higher-order extension of this formalism unifying the program and data syntactic categories. As a conseque...